Model-based fault injection for testing gray-box systems
نویسندگان
چکیده
منابع مشابه
A Gray-Box Neural Network-Based Model Identification and Fault estimation Scheme for nonlinear Dynamic Systems
A novel gray-box neural network model (GBNNM), including multi-layer perception (MLP) neural network (NN) and integrators, is proposed for a model identification and fault estimation (MIFE) scheme. With the GBNNM, both the nonlinearity and dynamics of a class of nonlinear dynamic systems can be approximated. Unlike previous NN-based model identification methods, the GBNNM directly inherits syst...
متن کاملGray Box Robustness Testing of Rule Systems
Due to their simple and intuitive manner rules are often used for the implementation of intelligent systems. Besides general methods for the verification and validation of rule systems there exists only little research on the evaluation of their robustness with respect to faulty user inputs or partially incorrect rules. This paper introduces a gray box approach for testing the robustness of rul...
متن کاملModel Reconstruction Using POD Method for Gray-box Fault Detection12
This paper describes using Proper Orthogonal Decomposition (POD) method to create low-order dynamical models for the Model Filter component of Beacon-based Exception Analysis for Multi-missions (BEAM). The POD modeling procedure is described, and its usefulness in creating simple low-order dynamical models of a complex system. The POD procedure will be shown on an example problem of a Burgers’ ...
متن کاملFault Injection for Embedded Microprocessor-based Systems
Microprocessor-based embedded systems are increasingly used to control safetycritical systems (e.g., air and railway traffic control, nuclear plant control, aircraft and car control). In this case, fault tolerance mechanisms are introduced at the hardware and software level. Debugging and verifying the correct design and implementation of these mechanisms ask for effective environments, and Fau...
متن کاملFault injection for formal testing of fault tolerance
Conclusions This study addresses the use of fault injection for explicitly removing designhnplementation faults in complex fault-tolerance algorithms & mechanisms (FTAM), viz, fault-tolerance deficiency faults. A formalism is introduced to represent the FTAM by a set of assertions. This formalism enables an execution tree to be generated, where each path from the root to a leaf of the tree is a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logical and Algebraic Methods in Programming
سال: 2019
ISSN: 2352-2208
DOI: 10.1016/j.jlamp.2018.10.003